Symbolic computation - PDFSEARCH.IO - Document Search Engine

Symbolic computation
Results: 169

#	Item
121	Instrumentation and Measurement Technology Conference - IMTC 2007 Warsaw, Poland, May 1-3, 2007 Symbolic Computation for Evaluation of Measurement Uncertainty Peng Wei, Qing Ping Yang, Mohd Rizal Salleh, Barry Jones Add to Reading List Source URL: bura.brunel.ac.uk Language: English - Date: 2014-11-01 07:53:41 Measurement Mathematical modeling Array programming languages Numerical software Measurement uncertainty Symbolic computation Uncertainty Analytica Symbolic execution Mathematical software Science Statistics
122	On the White Box Integration of Computer Algebra Algorithms into a Deduction System Diplomarbeit von Frank Theiß Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:23 Symbolic computation Mathematics Applied mathematics Algebra Algorithm Mathematical logic Axiom Mathematician Computer Software Computer algebra system Computer science
123	LISP AND SYMBOLIC COMPUTATION: An International Journal, 5:4, 295–326, 1992 c 1992 Kluwer Academic Publishers – Manufactured in The Netherlands Syntactic Abstraction in Scheme∗ R. KENT DYBVIG Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2004-05-14 16:07:36 Transformation languages Programming language implementation Procedural programming languages Source code Cross-platform software Hygienic macro Macro Scheme Preprocessor Software engineering Computing Computer programming
124	Exact Symbolic-Numeric Computation of Planar Algebraic Curves Eric Berberich∗, Pavel Emeliyanenko, Alexander Kobel, Michael Sagraloff∗∗ Max-Planck-Institut für Informatik, Campus E1 4, D[removed]Saarbrücken, German Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-01-09 20:28:50 Elementary algebra Equations Nonassociative algebra Midpoint circle algorithm Quartic function Mathematics Digital geometry Algebra
125	Institute e-Austria Timisoara IeAT Advancing Information Technology through Add to Reading List Source URL: www.ieat.ro Language: English - Date: 2013-07-08 03:40:06 Romanian media Framework Programmes for Research and Technological Development Computer science Research Institute for Symbolic Computation Formal verification European Union Europe Formal methods .ro Internet in Romania
126	1 e WebMathematics Interactive 2 This documentation is a concise description of WebMathematics Interactive 2 (WMI2). Add to Reading List Source URL: matek.hu Language: English - Date: 2009-07-04 09:26:02 Technology Software Mathematical notation Software calculator WebMathematics Interactive Calculator Computer algebra system Symbolic computation Mouse Calculators Office equipment Mathematics
127	Curriculum Vitae Dr. Teimuraz (Temur) Kutsia Research Institute for Symbolic Computation (RISC) Johannes Kepler University, A–4040 Linz, Austria Tel: +[removed]9982 Fax: +[removed]9930 Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:06 Hagenberg im Mühlkreis Actor model Johannes Kepler Computing Mathematics Bruno Buchberger Symbolic-numeric computation Research Institute for Symbolic Computation Computer science International Conference on Rewriting Techniques and Applications
128	Accepted to appear in IEE Systems Biology Symbolic Reachable Set Computation of Piecewise Aﬃne Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling Ronojoy Ghosh Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 02:08:52 Formal methods Hybrid automaton State transition system Computer science Cellular automata Model checking Automata theory Models of computation Theoretical computer science
129	Logic Programming Introduction Temur Kutsia Research Institute for Symbolic Computation Johannes Kepler University of Linz, Austria [removed] Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2011-10-05 08:12:04 Programming paradigms Constraint programming Prolog Logic programming YAP Declarative programming Software engineering Computer programming Computing
130	Symbolic Computation for Electronic Publishng Michael P. Barnett Department of Computer and Information Science, Brooklyn College of the City University of New York, Brooklyn, NY[removed]Internet: b a r n e t t e i t s . b Add to Reading List Source URL: www.tug.org Language: English - Date: 2011-10-16 21:02:52 Functions and mappings Computability theory Combinatory logic Lambda calculus Logic in computer science Function Big O notation Primitive recursive function Jan Willem Klop Mathematics Mathematical analysis Theoretical computer science

UPDATE